Only two letters: The correspondence between Herbrand and Gödel
نویسنده
چکیده
منابع مشابه
Gödel’s correspondence on proof theory and constructive mathematics
The volumes of Gödel’s collected papers under review consist almost entirely of a rich selection of his philosophical/scientific correspondence, including English translations face-to-face with the originals when the latter are in German. The residue consists of correspondence with editors (more amusing than of any scientific value) and five letters from Gödel to his mother, in which explains t...
متن کاملLieber Herr Bernays ! , Lieber
1. Gödel, Bernays, and Hilbert. The correspondence between Paul Bernays and Kurt Gödel is one of the most extensive in the two volumes of Gödel’s collected works devoted to his letters of (primarily) scientific, philosophical and historical interest. It ranges from 1930 to 1975 and deals with a rich body of logical and philosophical issues, including the incompleteness theorems, finitism, const...
متن کاملConformal mappings preserving the Einstein tensor of Weyl manifolds
In this paper, we obtain a necessary and sufficient condition for a conformal mapping between two Weyl manifolds to preserve Einstein tensor. Then we prove that some basic curvature tensors of $W_n$ are preserved by such a conformal mapping if and only if the covector field of the mapping is locally a gradient. Also, we obtained the relation between the scalar curvatures of the Weyl manifolds r...
متن کاملGödel : The Completeness and Incompleteness The - orems Kurt
Gödel: The Completeness and Incompleteness Theorems Kurt Gödel (1906–1978) 1930-The completeness of first-order logic 1931-On formally undecidable statements of Principia Mathematica and related systems I Gödel's first paper proves the completeness of the axioms and rules of first-order logic, essentially as given in Hilbert and Ackermann. There has been much discussion as to why Skolem (or Her...
متن کاملConstructability of Trip-lets
A trip-let is an object as shown on the cover of Hofstadter’s book Gödel, Escher, Bach: a solid, threedimensional object that, when viewed from three orthogonal directions, shows three different letters. In this paper we consider two problems related to the construction of such objects for a given set of three letters. First, we want to know whether the silhouettes of the object correspond to t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Bulletin of Symbolic Logic
دوره 11 شماره
صفحات -
تاریخ انتشار 2005